From Textual Scenarios to Message Sequence Charts
نویسنده
چکیده
Requirements engineering, the first phase of any software development project, is the Achilles’ heel of the whole development process, as requirements documents are often inconsistent and incomplete. In industrial requirements documents natural language is the main presentation means. In such documents, the system behavior is specified in the form of use cases and their scenarios, written as a sequence of sentences in natural language. For the authors of requirements documents some facts are so obvious that they forget to mention them. This surely causes problems for the requirements analyst. By the very nature of omissions, they are difficult to detect by document reviews: Facts that are too obvious to be written down at the time of document writing, mostly remain obvious at the time of review. In such a way, omissions stay undetected. This book chapter presents an approach that analyzes textual scenarios with the means of computational linguistics, identifies where actors or whole actions are missing from the text, completes the missing information, and creates a message sequence chart (MSC) including the information missing from the textual scenario. Finally, this MSC is presented to the requirements analyst for validation. The book chapter presents also a case study where scenarios from a requirement document based on industrial specifications were translated to MSCs. The case study shows feasibility of the approach. DOI: 10.4018/978-1-60566-758-4.ch005
منابع مشابه
Scenario-Based Software Architecture Modeling Using Message Sequence Charts
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to define, analyze, validate, and evaluate a software architecture is through the use of scenarios. A scenario is a brief description of a single interaction of a stakeholder with a system. Scenario modeling is a well-acc...
متن کاملTranslation of Textual Specifications to Automata by Means of Discourse Context Modeling
[Context and motivation] Natural language is the main presentation means in industrial requirements documents. In such documents, system behavior is specified either in the form of scenarios or in the form of automata described in natural language. The behavior descriptions are often incomplete: For the authors of requirements documents some facts are so obvious that they forget to mention them...
متن کاملAn algebraic semantics of Message Sequence Charts
Message Sequence Charts is a graphical and textual language for the description and speciication of the interactions between system components and their environment. The language is standardized by the ITU-TS (the Telecommunication Standardization section of the International Telecommunication Union, the former CCITT). The main area of application for Message Sequence Charts is as an overview s...
متن کاملSynthesis of Concurrent Haskell programs from Message Sequence Charts
In this article we show how to generate executable Concurrent Haskell programs from message sequence charts (MSCs). MSCs capture the communication between processes in a concurrent system and allow for a concise graphical and textual specification. Their modularity and extensibility can be reflected by Haskell’s module concept. By compiling the generated code, several of the static properties o...
متن کاملComments on a Proposed Semantics for Basic Message Sequence Charts
In MR94], Mauw and Reniers propose an interpretation for a basic form of Message Sequence Charts (MSCs) CCI92], based on process algebra and Plotkin semantics. They \use the textual notation for Basic MSCs] for the deenition of the semantics" MR94, Section 2.3]. They deene \the semantics of a Basic Message Sequence Chart as] the free merge of its constituent instances. By this construction we e...
متن کامل